Basic science

Results: 4014



#Item
431

BRICS Basic Research in Computer Science BRICS RSDanvy & Nielsen: A Higher-Order Colon Translation A Higher-Order Colon Translation

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-02-07 07:08:16
    432

    BRICS Basic Research in Computer Science BRICS RSAndersen et al.: A Compositional Proof System for the Modal µ-Calculus A Compositional Proof System for the

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1999-03-25 08:34:07
      433

      BRICS RSM. Goldberg: On the Recursive Enumerability of Fixed-Point Combinators BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2004-12-08 04:20:11
        434

        BRICS NS-05-2 Aceto & Fokkink: The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems BRICS Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2005-05-23 08:56:39
          435

          The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Bacterial biofilms and their new control strategies in food industry Meltem Yesilcimen Akbas D

          Add to Reading List

          Source URL: www.formatex.info

          Language: English - Date: 2015-03-27 12:36:16
            436

            The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) Antibacterial performance and mechanism of novel copper-containing stainless steels Li Nan and

            Add to Reading List

            Source URL: www.formatex.info

            Language: English - Date: 2015-03-31 02:53:53
              437

              BRICS RSBiernacki & Danvy: A Simple Proof of a Folklore Theorem about Delimited Control BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2005-08-08 08:47:05
                438

                BRICS Basic Research in Computer Science BRICS RSZ. Yang: Reasoning About Code-Generation in Two-Level Languages Reasoning About Code-Generation in

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2003-08-07 03:27:38
                  439

                  BRICS RS-07-5 Aceto et al.: On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt BRICS Basic Research in Computer Science

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2007-03-26 17:39:55
                    440

                    INTRO TO HORTICULTURE Horticulture is the science and art of cultivating fruits, vegetables, and ornamental plants. A basic understanding of horticulture and the factors that may increase or decrease plant growth and dev

                    Add to Reading List

                    Source URL: roguefarmcorps.org

                    Language: English - Date: 2014-04-16 17:07:25
                      UPDATE